Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
41	Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
42	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language
43	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
44	Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal • Make Haskell “faster” Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Haskell Literate programming Fold Map Inline expansion Write
45	The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Software engineering Computer programming Computing Subroutines Functional languages Programming language implementation Procedural programming languages Recursion Standard ML Compiler Inline expansion ML
46	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
47	BU CAS CS 320 (Spring Semester, Concepts of Programming Languages Assignment 5 Out: Tuesday, 19 Feburary 2002 Due: Friday, 1 March 2002 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-10-01 21:50:12 Software engineering Computer programming Declarative programming Functional languages Data structures Standard ML Recursion Haskell features
48	First Order Haskell Neil Mitchell York University www.cs.york.ac.uk/~ndm λ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold Oz Monad Map XS Haskell features
49	Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA) Add to Reading List Source URL: www.klomp.org Language: English - Date: 2015-01-25 16:44:17 Software engineering Computer programming Programming paradigms Theoretical computer science Programming idioms Computability theory Alma-0 Backtracking Logic programming Recursion Prolog Imperative programming
50	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type